English translation for "formal language and automata theory"

形式语言与自动机理论

Related Translations:

stochastic automata model:  随机自动机模型

formal:  adj.1.正式的。2.礼节上的，仪式上的；郑重其事的。3.形态的，外形的；形式上的；拘泥形式的，刻板的。4.布置整齐的，有条理的。5.正规的，合乎规格的。6.【语言】规范化的，书面语的，正规的〔非俗语、俚语的〕。短语和例子a formal receipt 正式收据。 a formal call 正式访问。 a formal manner 郑重其事的态度。 formal l

formal attribute:  形式属性

formal interview:  正式面谈

formal syntax:  形式语法

formal isomer:  形状同质异能素

formal diagnosis:  正规诊断

formal dress:  礼服

formal justic:  形式上的公正, 形式上的正义形式上的正义

formal pragmatics:  形式语用学

Example Sentences:

1.

The paper formally defines the concept of electronic contract and their goals , obligations , bindings and non - repudiatable proofs by the formal language and automata theory . by making the obligations and proofs work together , the partners are enforced to achieve the business goals 本文用形式语言与自动机理论对电子合同及其目标、责任、约束以及不可抵赖性证据进行形式化定义，使责任和证据相互配合，迫使达到商业目标。

Similar Words：

"formal juristic act" English translation, "formal justic" English translation, "formal justice" English translation, "formal knowledge" English translation, "formal language" English translation, "formal language definition" English translation, "formal language grammar" English translation, "formal language processing" English translation, "formal language processor" English translation, "formal language theory" English translation